theorem proving - French English Dictionary